A Front End for CONSUL

نویسندگان

  • Catherine Chronaki
  • Douglas Baldwin
چکیده

CONSUL is a prototype constraint language for programming multiprocessors. In this paper we present a front end for CONSUL that makes the language easier to use than it originally was. The most important features of the front end are compact representation of constraints, type deenitions, functional use of relations, and the ability to split programs into multiple les.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Implementation of Low-Cost Architecture for Control an Active Front End Rectifier

In AC-DC power conversion, active front end rectifiers offer several advantages over diode rectifiers such as bidirectional power flow capability, sinusoidal input currents and controllable power factor. A digital finite control set model predictive controller based on fixed-point computations of an active front end rectifier with unity displacement of input voltage and current to improve dynam...

متن کامل

Higher-order Behavioral Contracts for Distributed Components

Inspired by the Design by Contract paradigm, we intro-duce CONSUL, a contract system for distributed compo-nents. CONSUL monitors distributed components at run timewith higher-order behavioral contracts. Contract monitoringis local to a component, and the component is treated asa black box. Thus it does not disturb the highly decouplednature of distributed components and...

متن کامل

Assessment and Design Enhancement of the Front End Energy Absorption Mechanism of a Locomotive Based on an Impact Scenario

This research is concerned with weighing the behavior of the front end energy absorption system of a locally manufactured locomotive in crash situations. The causes of the extensive damages to the energy absorption apparatus that includes the crash element and the buffer are studied. By choosing the proper damage model the conditions of the accident is simulated by using the ABAQUS engineering ...

متن کامل

Modularity in the design and implementation of Consul

Many applications constructed as Autonomous Decentralized Systems require high dependability, often leading to the use of distributed architectures and their associated fault-tolerance techniques. Consul is a system designed to support the use of such techniques in the construction of fault-tolerant distributed systems structured according to the state machine approach. Here, the way in which m...

متن کامل

Representation and Inference in the Consul System

Users of interactive systems need a single cooperative interface for all of the services in their environment. The interface must behave in a consistent manner in understanding natural user requests and in providing explanation and help as required. The Consul system is designed to provide such an interface. Its natural interaction capability is achieved by mapping between detailed descriptions...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990